Iof proof for Lemma not over or a:
A,B:
. (
(A 
B)) 
{(A) 
(B)}
by ((Unfold `guard` 0)
CollapseTHEN (Lemma `not_over_or`))
C.| 9,38 |
A,B:. ((A B)) {(A) (B)}
by ((Unfold `guard` 0)
CollapseTHEN (Lemma `not_over_or`))
C.
| Definitions | |
| Lemmas |